A Review of Formalisms for Describing Interactive Behaviour
نویسندگان
چکیده
A number of formal notations have been developed to assist the description or analysis of interactive systems. This paper reviews a subset of these notations from the perspective of a software engineer. It is therefore concerned with the extent to which these notations support the design and implementation of interactive systems. The notations considered on the one hand describe the capabilities and resources of users in relation to a speciic system, and on the other, those aspects of an interactive system that must be analysed from a user perspective before implementation. The review concludes by surveying ongoing work that attempts to bridge the gap between the disciplinary standpoints.
منابع مشابه
Virtual Actors’ Behaviour for 3D Interactive Storytelling
In this paper, we describe a method for implementing intelligent behaviour for artificial actors in the context of interactive storytelling. We have developed a fully implemented prototype based on the UnrealTM game engine and carried experiments with a simple sitcom-like scenario. We discuss the central role of artificial actors in interactive storytelling and how real-time generation of their...
متن کاملPlanning characters' behaviour in interactive storytelling
In this paper, we describe a method for implementing the behaviour of artificial actors in the context of interactive storytelling. We have developed a fully implemented prototype based on the Unreal TournamentTM game engine, and carried experiments with a simple sitcom-like scenario. We discuss the central role of artificial actors in interactive storytelling and how real-time generation of th...
متن کاملAI-based animation for interactive storytelling
In this paper, we describe a method for implementing AI-based animation of artificial actors in the context of interactive storytelling. We have developed a fully implemented prototype based on the UnrealTM game engine and carried experiments with a simple sitcom-like scenario. We discuss the central role of artificial actors in interactive storytelling and how real-time generation of their beh...
متن کاملTime and Space Coordination of Mobile Agents
The technology of agent systems, both hardware and software, is rather advanced. However design principles and techniques to define and verify their correct behaviour are at a more primitive stage. One approach in modelling the system behaviour has been the design of formal calculi in which the fundamental concepts underlying agent systems can be described and studied. In this paper we propose ...
متن کاملA review of uncertainty handling formalisms
Many diierent formal techniques, both numerical and symbolic , have been developed over the past two decades for dealing with incomplete and uncertain information. In this paper we review some of the most important of these formalisms, describing how they work, and in what ways they diier from one another. We also consider heterogeneous approaches which incorporate two or more approximate reaso...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994